Wednesday, May 1, 2024

On Abyss Wagers, 4

IV. Abysmal Similarities

 

What do Pascal’s and Gödel’s Wager have in common? The argument always has the clause, “... but if not-X, then in the resulting chaos it doesn’t matter what you bet, so you lose nothing.” An argument skirting the edge of the abyss! For Pascal’s wager, the chaotic not-X is no-God; for Gödel’s Wager (really mine, but I give it to him) the chaotic not-X is unreason; for Smith’s wager, not-X equals unjust God; for the Dissenter’s Wager, not-X equals tyranny. In each case, not-X is so bad that all bets are off; therefore bet on X!   

As long as the Wager’s breakdown case is dire enough, then bet against breakdown, ‘cause if you lose then the bet’s off. A neat cheat; it reminds me of Edward Teller, on the eve of the first H-bomb test, wagering with other physicists that the bomb won’t ignite a runaway reaction in the atmosphere. No way to lose Teller’s Wager! I fault Teller’s ethics, but not his logic.

One can argue against Pascal’s Wager, because of its hidden assumptions; Smith’s Wager also turns out to have hidden assumptions. (e.g. that any unjust god has already gone completely mad). Does Gödel’s Wager still hold? For arithmetic to be inconsistent; shall we regard that as the end of rationality and accountability? Or at least bettability? If 1+1=1 then are all bets off? (I bet that Pope Russell would say so. “I am one, and the Pope is one; together we are one, and I am the Pope.”)

So are Smith and Dissenter Wagers flawed, and Pascal’s too, but Teller’s and Gödel’s are valid? If so, then the difference is that the first three involved personalities (gods and governments) who, by virtue of which, are necessarily limited and crafty enough to be negotiated with; whereas the last two involve mathematical and physical law, which apply without limit.

Impersonality empowers the Abyss Wager!

         

 

 

Tuesday, April 30, 2024

On Abyss Wagers, 3

Gödel’s Wager

 

Now consider what I call Gödel’s Wager. Gödel’s Second Incompleteness Theorem** states that an arithmetical deduction system is consistent, if and only if it cannot prove its consistency. Either it has a proof of consistency, which is false, or it is consistent but it cannot prove it.

          So if arithmetic is consistent (and with it, logic and reason) then we cannot be sure that it’s consistent! Yet we use arithmetic anyhow; an act of faith.

          And why not? Either arithmetic makes sense or it does not; and you may use it, or not. If you cannot prove that arithmetic makes sense, then any decision about using it is by definition a wager. I submit that wagering on arithmetic, logic and reason has no downside.

          For if you wager on arithmetic, but arithmetic makes no sense, then neither does anything else; for how do you account, when the count itself is of no account? So there would be nothing to win or lose, and you would lose nothing.

          Whereas if you wager on arithmetic, and it does make sense, then you make sense too; an enormous practical and spiritual blessing.

          Therefore if you wager on arithmetic (and logic and reason) then at worse you lose nothing, and otherwise you win to great blessings. No downside, a huge upside. Therefore bet on arithmetic, logic and reason!

          The above argument echoes Pascal’s Wager. Gödel, meet Pascal!   

 

Monday, April 29, 2024

On Abyss Wagers, 1 and 2

On Abyss Wagers

 

I.                 Introduction

 

This essay describes a class of philosophical conundrums akin to “Pascal’s Wager”. For each of these “abyss wagers”, it is rational to bet against various negative scenarios, on the grounds that if any of these scenarios are true, then all bets are off; therefore the wagers have no downside.

The abyss wagers here described include: Pascal’s Wager, Smith’s Wager, the Dissenter’s Wager, Gödel’s Wager, Teller’s Wager, and the Android’s Wager. For instance, in Gödel’s Wager, the negative scenario is the inconsistency of arithmetic. According to Gödel, if the axioms of arithmetic are consistent then those axioms cannot prove their own consistency. Here I argue that it is rational to wager that arithmetic makes sense; for if it does not then all bets are irrelevant. Therefore betting on arithmetic (and logic and reason) is a bet that you cannot lose.

 

II. The Abyss

 

Blaise Pascal, the Jansenist who helped discover the theory of probability, proposed a famous Wager; is one to believe that God exists, or not? His reasoning was that if God does not exist, then it does not matter if one believes or not; but if God does in fact exist, then it would be far better to believe; and therefore belief is the better wager.

          This gambler’s theology is undermined by its hidden assumptions, for there is more than one way to believe. Consider George Smith’s Wager:

          If there is a theistic god, either he is just, or he is not. If he is just, he will not punish honest disbelief. But, if he is not just, there is no guarantee he won’t punish one unjustly, regardless of one’s belief or disbelief. Therefore, there is no downside to honest disbelief in any theistic God.

          Here is a political version of these wagers. The government is just, or it is not. If it is just, then it will not punish honest dissent. But if it is not just, then there is no guarantee that it won’t punish you unjustly, whether or not you dissent. Therefore there is no downside to dissent.  The Dissenter’s Wager!

I mentioned Smith’s Wager and the Dissenter’s Wager to my wife Sherri, and she scoffed. “No downside to dissent? Au contraire! It might draw the attention of the government, and the nail that sticks out gets hammered down!” I admitted that her logic has force; and it applies back to Smith’s Wager. There are plenty of reluctant theists, believing just in case.

So Smith and Dissenter Wagers are flawed; the chaotic breakdown case still allows for enough difference for not all bets to be off. The unjust god, and the tyrannical government, don’t oppress everyone equally - at least at first. In the beginning, they withhold enough threat and make enough distinctions to give cowards a refuge; but power corrupts intellect as well as empathy, so eventually they overreach, the people have nothing to lose, and the desperate logic of the Wager takes hold.